structure DebugPrint : DEBUG_PRINT =
struct
  val debug = ref false
  fun showWarning s = 
      if !debug
      then (print "Warning : "
          ; print s
          ; print "\n")
      else ()

  fun showError s =
      if !debug
      then (print "Error : "
          ; print s
          ; print "\n")
      else ()
  fun debugPrint (s) =
      if !debug
      then (print ("DebugPrint " ^ " : \n")
          ; print ("\t"^s)
          ; print "\n")
      else ()
end
